# this is the basic Knapsack model with
# lifted cover inequalities



maximize Total_Benefit:
sum{i in N} y[i]*inputdata[i,'Benefit'];

subject to Max_Weight:
sum{i in N} y[i]*inputdata[i,'Weight'] <= MaxCapacity;


subject to liftedCovers{j in MAX_COVERS : card(COVERS[j]) <>0}:
sum {i in N} cutcoeff[i,j]*y[i] <=card(COVERS[j])-1;